kone.algebraic/dev.lounres.kone.algebraic/DoubleContext

DoubleContext

data object DoubleContext : Reification<Double> , Field<Double> , Order<Double> , Hashing<Double> (source)

Default field for Double type which values are seen as real numbers and where precision problems and occurrences of NaN, +INF, and -INF are ignored. It also implements Order and Hashing interfaces in the default understanding.

Such context is useless when used as is, but useful when used in generalised algorithms.

Properties

Link copied to clipboard
open override val one: Double

Represents a unit element (a.k.a. neutral multiplicative element).

Link copied to clipboard
open val Double.reciprocal: Double

Finds reciprocal of this number in terms of the Field.

Link copied to clipboard
open val Int.value: Double

Converts instance of Int to an element of the Ring it is equal to.

open val Long.value: Double

Converts instance of Long to an element of the Ring it is equal to.

open val UInt.value: Double

Converts instance of UInt to an element of the Semiring it is equal to.

open val ULong.value: Double

Converts instance of Long to an element of the Semiring it is equal to.

Link copied to clipboard
open override val zero: Double

Represents a zero element (a.k.a. neutral additive element).

Functions

Link copied to clipboard
open infix override fun Double.compareWith(other: Double): ComparisonResult
Link copied to clipboard
open operator override fun contains(element: Any?): Boolean
Link copied to clipboard
open operator override fun Double.div(other: Double): Double

Divides this number by other number in terms of the Field.

open operator override fun Double.div(other: Int): Double
open operator override fun Double.div(other: Long): Double
open operator override fun Double.div(other: UInt): Double
open operator override fun Double.div(other: ULong): Double

Divides this number by other integer as elements of the Field.

open operator override fun Int.div(other: Double): Double
open operator override fun Long.div(other: Double): Double
open operator override fun UInt.div(other: Double): Double
open operator override fun ULong.div(other: Double): Double

Divides this integer by other number as elements of the Field.

Link copied to clipboard
open infix fun Double.equalsTo(other: Double): Boolean
Link copied to clipboard
open fun Double.hash(): Int
Link copied to clipboard
open fun Double.isNotOne(): Boolean

Checks that this number is not a one in the context of the Semiring.

Link copied to clipboard
open fun Double.isNotZero(): Boolean

Checks that this number is not a zero in the context of the Semiring.

Link copied to clipboard
open fun Double.isOne(): Boolean

Checks that this number is a one in the context of the Semiring.

Link copied to clipboard
open override fun Double.isZero(): Boolean

Checks that this number is a zero in the context of the Semiring.

Link copied to clipboard
open operator override fun Double.minus(other: Double): Double

Subtracts this and the other numbers in terms of the Ring.

open operator override fun Double.minus(other: Int): Double
open operator override fun Double.minus(other: Long): Double
open operator override fun Double.minus(other: UInt): Double
open operator override fun Double.minus(other: ULong): Double

Subtracts this number and the other integer as elements of the Ring.

open operator override fun Int.minus(other: Double): Double
open operator override fun Long.minus(other: Double): Double
open operator override fun UInt.minus(other: Double): Double
open operator override fun ULong.minus(other: Double): Double

Sums this integer and the other number as elements of the Ring.

Link copied to clipboard
open operator override fun Double.plus(other: Double): Double

Sums this and the other numbers in terms of the Semiring.

open operator override fun Double.plus(other: Int): Double
open operator override fun Double.plus(other: Long): Double

Sums this number and the other integer as elements of the Ring.

open operator override fun Double.plus(other: UInt): Double
open operator override fun Double.plus(other: ULong): Double

Sums this number and the other integer as elements of the Semiring.

open operator override fun Int.plus(other: Double): Double
open operator override fun Long.plus(other: Double): Double

Sums this integer and the other number as elements of the Ring.

open operator override fun UInt.plus(other: Double): Double
open operator override fun ULong.plus(other: Double): Double

Sums this integer and the other number as elements of the Semiring.

Link copied to clipboard
open infix fun Double.pow(exponent: Int): Double

Raises this number in the power of exponent.

open infix fun Double.pow(exponent: Long): Double

Raises this number in the power of exponent.

open infix fun Double.pow(exponent: UInt): Double

Raises this number in the power of exponent.

open infix fun Double.pow(exponent: ULong): Double

Raises this number in the power of exponent.

Link copied to clipboard
open override fun power(base: Double, exponent: Int): Double
open override fun power(base: Double, exponent: Long): Double
open override fun power(base: Double, exponent: UInt): Double
open override fun power(base: Double, exponent: ULong): Double

Raises base number in the power of exponent.

Link copied to clipboard
open override fun reify(element: Any?): Double
Link copied to clipboard
open override fun reifyMaybe(element: Any?): Maybe<Double>
Link copied to clipboard
open override fun reifyOrNull(element: Any?): Double?
Link copied to clipboard
open operator override fun Double.times(other: Double): Double

Multiplies this and the other numbers in terms of the Semiring.

open operator override fun Double.times(other: Int): Double
open operator override fun Double.times(other: Long): Double

Multiplies this number and the other integer as elements of the Ring.

open operator override fun Double.times(other: UInt): Double
open operator override fun Double.times(other: ULong): Double

Multiplies this number and the other integer as elements of the Semiring.

open operator override fun Int.times(other: Double): Double
open operator override fun Long.times(other: Double): Double

Sums this integer and the other number as elements of the Ring.

open operator override fun UInt.times(other: Double): Double
open operator override fun ULong.times(other: Double): Double

Sums this integer and the other number as elements of the Semiring.

Link copied to clipboard
open operator override fun Double.unaryMinus(): Double

Inverses this value in terms of the Ring.

Link copied to clipboard
open override fun valueOf(arg: Int): Double

Converts instance of Int to an element of the Ring it is equal to.

open override fun valueOf(arg: Long): Double

Converts instance of Long to an element of the Ring it is equal to.

open override fun valueOf(arg: UInt): Double

Converts instance of UInt to an element of the Semiring it is equal to.

open override fun valueOf(arg: ULong): Double

Converts instance of ULong to an element of the Semiring it is equal to.